equal predicate

[计] 相等谓词